SMS User Interface Result Checking System
نویسندگان
چکیده
منابع مشابه
Verifying user interface behaviour with model checking
A large proportion of problems found in deployed systems relate to the user interface. This paper presents an approach to the verification of user interface models based on model checking. The approach is intended to be used early in design. The verification is concerned with behavioural aspects of the user interface and requires models that represent both the interactive aspects and also captu...
متن کاملUser Interface Design in Mobile Educational Applications
Introduction: User interfaces are a crucial factor in ensuring the success of mobile applications. Mobile Educational Applications not only provide flexibility in learning, but also allow learners to learn at any time and any place. The purpose of this article is to investigate the effective factors affecting the design of the user interface in mobile educational applications. Methods: Quantita...
متن کاملPROOF User/System Interface Design
Encyclopedia of Information Systems, Volume Four Copyright © 2002 by Academic Press. All rights of reproduction in any form reserved. 256-1 I. DEFINITIONS II. HISTORY OF HUMAN–COMPUTER INTERFACE III. THE INTERFACE DESIGN AND USABILITY PROCESS IV. FUNDAMENTALS OF INTERFACE DESIGN V. USER-CENTERED DESIGN PRINCIPLES VI. THE WEB USER EXPERIENCE VII. NEW DIRECTIONS IN HUMAN–COMPUTER INTERACTION VIII...
متن کاملThe Tycho User Interface System
Tycho is the next-generation user-interface system we are building for the Ptolemy project. It is a complete [incr Tcl] application structured as an extensible class library. Our goal is to make it easy to extend this basic application with functionality and a user interface for specialized applications such as electronic design and simulation. The Tycho library includes a selection of general-...
متن کاملTowards Model Checking Stochastic Aspects of the thinkteam User Interface
Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties. In this paper we show how stochastic model checking can be conveniently used to address a number of usability concerns that involve quantitative aspects of a user interface for the industrial groupware system thinkteam. think...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Issues in Informing Science and Information Technology
سال: 2009
ISSN: 1547-5840,1547-5867
DOI: 10.28945/1045